Grinberg's theorem